<?php

class OrdenprestamoPeer extends BaseOrdenprestamoPeer
{
}
